#include<stdio.h>
int main()
{
    //freopen("in.txt","r",stdin);
    int a;
    int i = 0;
    while (scanf("%d",&a) != EOF && a != 0)
    {
        printf("Case %d: %d\n",++i,a);
    }
    
}